linux_boot = (kernel_filename != NULL);
/* allocate RAM */
-// cpu_register_physical_memory(0, ram_size, 0);
+// cpu_register_physical_memory(0, ram_size, 0);
#ifndef NOBIOS
/* BIOS load */
/* map all the bios at the top of memory */
cpu_register_physical_memory((uint32_t)(-bios_size),
bios_size, bios_offset | IO_MEM_ROM);
+#endif
bochs_bios_init();
-#endif
if (linux_boot) {
uint8_t bootsect[512];
register_ioport_write(0xf0, 1, 1, ioportF0_write, NULL);
-#ifdef NOBIOS
- cirrus_vga_enabled = 0;
-#endif
if (cirrus_vga_enabled) {
if (pci_enabled) {
pci_cirrus_vga_init(pci_bus,
/* qemu's vga mem is not detached from phys_ram_base and can cause DM abort
* when guest write vga mem, so allocate a new one */
- s->vram_ptr = qemu_mallocz(256 * 1024);
+ s->vram_ptr = qemu_mallocz(vga_ram_size);
s->vram_offset = vga_ram_offset;
s->vram_size = vga_ram_size;
# Hardware support
VL_OBJS+= ide.o ne2000.o pckbd.o vga.o dma.o
VL_OBJS+= fdc.o mc146818rtc.o serial.o i8259.o i8254.o pc.o port-e9.o
+VL_OBJS+= cirrus_vga.o
ifeq ($(TARGET_ARCH), ppc)
VL_OBJS+= ppc.o ide.o ne2000.o pckbd.o vga.o $(SOUND_HW) dma.o $(AUDIODRV)